Search results for Gerwin Klein Blackwell's

Skip your Account's links

0 items

$0.00

Your basket
The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.
View basket
Your basket is empty
Delivery included on your order!
View basket

$6.85off
Concrete Semantics
Tobias Nipkow, Gerwi...

Paperback
Published 10 Sep 2016
Save $6.85
- RRP $61.51
- $54.66
In Stock
Add to basket
Interactive Theorem Proving
ITP (Conference), Ge...

Paperback
Published 01 Aug 2014
- $104.82
In Stock
Add to basket
Interactive Theorem Proving

Klein Gerwin Klein (...

Paperback
Published 20 Jul 2014

Notify me